$\forall$$F$:Top. weighted{-}sum([];$F$) $\sim$ 0